logic circuit to boolean expression